Basagiannis, S. : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres
Articles (53)
Les plus populaires
Liste
- Liste
- Tableau

1

[IEEE 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) - Vienna, Austria (2016.4.11-2016.4.11)] 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) - Software certification of airborne cyber-physical systems under DO-178C

Basagiannis, Stylianos

Année:

2016

Langue:

english

Fichier:

PDF, 277 KB

english, 2016

2

Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study

Fitzgerald, John, Gamble, Carl, Payne, Richard, Larsen, Peter Gorm, Basagiannis, Stylianos, Mady, Alie El-Din

Journal:

INCOSE International Symposium

Année:

2016

Langue:

english

Fichier:

PDF, 1.16 MB

english, 2016

3

[IEEE 2011 IEEE Symposium on Computers and Communications (ISCC) - Corfu, Greece (2011.06.28-2011.07.1)] 2011 IEEE Symposium on Computers and Communications (ISCC) - Quantitative model checking of an RSA-based email protocol on mobile devices

Petridou, Sophia, Basagiannis, Stylianos, Alexiou, Nikolaos, Papadimitriou, Georgios, Katsaros, Panagiotis

Année:

2011

Langue:

english

Fichier:

PDF, 247 KB

english, 2011

4

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Explanations and Relaxations for Policy Conflicts in Physical Access Control

Turkmen, Fatih, Foley, Simon, O'Sullivan, Barry, Fitzgerald, William, Hadzic, Tarik, Basagiannis, Stylianos, Boubekeur, Menouer

Année:

2013

Langue:

english

Fichier:

PDF, 209 KB

english, 2013

5

[IEEE 2012 9th Annual Conference on Wireless On-demand Network Systems and Services (WONS) - Courmayeur, Italy (2012.01.9-2012.01.11)] 2012 9th Annual Conference on Wireless On-Demand Network Systems and Services (WONS) - Towards energy consumption evaluation of the SSL handshake protocol in mobile communications

Petridou, Sophia, Basagiannis, Stylianos

Année:

2012

Langue:

english

Fichier:

PDF, 352 KB

english, 2012

6

Hypoglycaemia requiring medical assistance in patients with diabetes: A prospective multicentre survey in tertiary hospitals

Liatis, S., Mylona, M., Kalopita, S., Papazafiropoulou, A., Karamagkiolis, S., Melidonis, A., Xilomenos, A., Ioannidis, I., Kaltsas, G., Lanaras, L., Papas, S., Basagiannis, C., Kokkinos, A.

Journal:

Diabetes & Metabolism

Année:

2015

Langue:

english

Fichier:

PDF, 551 KB

english, 2015

7

[IEEE 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) - Vienna, Austria (2016.4.11-2016.4.11)] 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) - Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim, Fritzson, Peter, Brauer, Jorg, Kleijn, Christian, Lecomte, Thierry, Pfeil, Markus, Green, Ole, Basagiannis, Stylianos, Sadovykh, Andrey

Année:

2016

Langue:

english

Fichier:

PDF, 438 KB

english, 2016

8

Modified Generalized Maxwell Model for Hysteresis Behavior of Elastomeric Dampers

Basagiannis, Christos A., Williams, Martin S.

Journal:

Journal of Engineering Mechanics

Année:

2020

Fichier:

PDF, 2.55 MB

2020

9

[IEEE 2020 23rd Euromicro Conference on Digital System Design (DSD) - Kranj, Slovenia (2020.8.26-2020.8.28)] 2020 23rd Euromicro Conference on Digital System Design (DSD) - The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

Barbosa, R., Basagiannis, S., Giantamidis, G., Becker, H., Ferrari, E., Jahic, J., Kanak, A., Esnaola, M. Labayen, Orani, V., Pereira, D., Pomante, L., Schlick, R., Smrcka, A., Yazici, A., Folkesson,

Année:

2020

Fichier:

PDF, 1.24 MB

2020

10

Catalytic steam reforming of acetic acid for hydrogen production

A.C. Basagiannis, X.E. Verykios

Journal:

International Journal of Hydrogen Energy

Année:

2007

Langue:

english

Fichier:

PDF, 887 KB

english, 2007

11

Influence of the carrier on steam reforming of acetic acid over Ru-based catalysts

Aristides C. Basagiannis, Xenophon E. Verykios

Journal:

Applied Catalysis B: Environmental

Année:

2008

Langue:

english

Fichier:

PDF, 1.10 MB

english, 2008

12

Steam reforming of the aqueous fraction of bio-oil over structured Ru/MgO/Al2O3 catalysts

Aristides C. Basagiannis, Xenophon E. Verykios

Journal:

Catalysis Today

Année:

2007

Langue:

english

Fichier:

PDF, 1.04 MB

english, 2007

13

Probabilistic model checking for the quantification of DoS security threats

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou

Journal:

Computers & Security

Année:

2009

Langue:

english

Fichier:

PDF, 1.30 MB

english, 2009

14

Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach

S. Basagiannis, S. Petridou, N. Alexiou, G. Papadimitriou, P. Katsaros

Journal:

Computers & Security

Année:

2011

Langue:

english

Fichier:

PDF, 1.36 MB

english, 2011

15

Synthesis of attack actions using model checking for the verification of security protocols

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

Journal:

Security and Communication Networks

Année:

2011

Langue:

english

Fichier:

PDF, 1018 KB

english, 2011

16

Low Temperature Steam Reforming of Ethanol Over Supported Noble Metal Catalysts

Aristides C. Basagiannis, Paraskevi Panagiotopoulou, Xenophon E. Verykios

Journal:

Topics in Catalysis

Année:

2008

Langue:

english

Fichier:

PDF, 518 KB

english, 2008

17

Reforming reactions of acetic acid on nickel catalysts over a wide temperature range

A.C. Basagiannis, X.E. Verykios

Journal:

Applied Catalysis A: General

Année:

2006

Langue:

english

Fichier:

PDF, 693 KB

english, 2006

18

An intruder model with message inspection for model checking security protocols

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

Journal:

Computers & Security

Année:

2010

Langue:

english

Fichier:

PDF, 1.96 MB

english, 2010

19

Formal analysis for robust anti-SPIT protection using model checking

Dimitris Gritzalis, Panagiotis Katsaros, Stylianos Basagiannis, Yannis Soupionis

Journal:

International Journal of Information Security

Année:

2012

Langue:

english

Fichier:

PDF, 820 KB

english, 2012

20

The interaction of vasoactive substances during exercise modulates platelet aggregation in hypertension and coronary artery disease

Konstantinos Petidis, Stella Douma, Michael Doumas, Ilias Basagiannis, Konstantinos Vogiatzis, Chrysanthos Zamboulis

Journal:

BMC Cardiovascular Disorders

Année:

2008

Langue:

english

Fichier:

PDF, 292 KB

english, 2008

21

A complete Rab screening reveals novel insights in Weibel-Palade body exocytosis

Zografou, S., Basagiannis, D., Papafotika, A., Shirakawa, R., Horiuchi, H., Auerbach, D., Fukuda, M., Christoforidis, S.

Journal:

Journal of Cell Science

Année:

2012

Langue:

english

Fichier:

PDF, 3.41 MB

english, 2012

22

588 Levels of platelet-activating factor (PAF) during liver regeneration after paracetamol-induced liver injury

A.D. Grypioti, G.K. Papadimas, E. Fragopoulou, A.C. Basagiannis, C.A. Demopoulos, Z. Papadopoulou-Daifoti, M.G. Mykoniatis

Journal:

Journal of Hepatology

Année:

2004

Langue:

english

Fichier:

PDF, 57 KB

english, 2004

23

Platelet function and prostanoid production during exercise in hyperlipidemic patients

Douma, S., Petidis, K., Doumas, M., Vogiatzis,, Basagiannis, I., Zamboulis, C.

Journal:

Atherosclerosis Supplements

Année:

2001

Langue:

english

Fichier:

PDF, 133 KB

english, 2001

24

Long-term safety and efficacy of atorvastatin versus four statin-fibrate combinations on lipid profile and plasma fibrinogen in patients with familial combined hyperlipidemia

V. Athyros, A. Papageorgiou, V. Athyrou, A. Pehlivanidis, V. Skeberis, H. Basagiannis, A. Kontopoulos

Journal:

Atherosclerosis

Année:

1999

Langue:

english

Fichier:

PDF, 144 KB

english, 1999

25

Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks

Petridou, Sophia, Basagiannis, Stylianos, Roumeliotis, Manos

Journal:

IEEE Systems Journal

Année:

2013

Langue:

english

Fichier:

PDF, 2.59 MB

english, 2013

26

Pseudoinfarction pattern in a patient with hyperkalemia, diabetic ketoacidosis and normal coronary vessels: a case report

Antonios Ziakas, Christos Basagiannis, Ioannis Stiliadis

Journal:

Journal of Medical Case Reports

Année:

2010

Langue:

english

Fichier:

PDF, 934 KB

english, 2010

27

[IEEE 2014 International Wireless Communications and Mobile Computing Conference (IWCMC) - Nicosia, Cyprus (2014.8.4-2014.8.8)] 2014 International Wireless Communications and Mobile Computing Conference (IWCMC) - Security analysis of NFC relay attacks using probabilistic model checking

Alexiou, Nikolaos, Basagiannis, Stylianos, Petridou, Sophia

Année:

2014

Langue:

english

Fichier:

PDF, 851 KB

english, 2014

28

[IEEE 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE) - San Jose, CA, USA (2010.11.3-2010.11.4)] 2010 IEEE 12th International Symposium on High Assurance Systems Engineering - Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking

Alexiou, Nikolaos, Basagiannis, Stylianos, Katsaros, Panagiotis, Dashpande, Tushar, Smolka, Scott A.

Année:

2010

Langue:

english

Fichier:

PDF, 528 KB

english, 2010

29

[IEEE 2008 32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland (2008.07.28-2008.08.1)] 2008 32nd Annual IEEE International Computer Software and Applications Conference - A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats

Basagiannis, Stylianos, Katsaros, Panagiotis, Pombortsis, Andrew, Alexiou, Nikolaos

Année:

2008

Langue:

english

Fichier:

PDF, 626 KB

english, 2008

30

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking

Deshpande, Tushar, Katsaros, Panagiotis, Basagiannis, Stylianos, Smolka, Scott A.

Année:

2011

Langue:

english

Fichier:

PDF, 219 KB

english, 2011

31

[IEEE 2011 IEEE 36th Conference on Local Computer Networks (LCN 2011) - Bonn, Germany (2011.10.4-2011.10.7)] 2011 IEEE 36th Conference on Local Computer Networks - Quantitative analysis for authentication of low-cost RFID tags

Paparrizos, Ioannis, Basagiannis, Stylianos, Petridou, Sophia

Année:

2011

Langue:

english

Fichier:

PDF, 310 KB

english, 2011

32

Effect of azithromycin on the LPS-induced production and secretion of phospholipase A2 in lung cells

Kitsiouli, Eirini, Antoniou, Georgia, Gotzou, Helen, Karagiannopoulos, Michalis, Basagiannis, Dimitris, Christoforidis, Savvas, Nakos, George, Lekka, Marilena E.

Journal:

Biochimica et Biophysica Acta (BBA) - Molecular Basis of Disease

Année:

2015

Langue:

english

Fichier:

PDF, 1.84 MB

english, 2015

33

Evaluation of a two-step ultrasound examination protocol for the detection of major fetal structural defects

Pilalis, Athanasios, Basagiannis, Constantinos, Eleftheriades, Makarios, Faros, Efthimios, Troukis, Elias, Armelidou, Eleni, Papastefanou, Ioannis, Souka, Athena P.

Journal:

Journal of Maternal-Fetal and Neonatal Medicine

Année:

2012

Langue:

english

Fichier:

PDF, 547 KB

english, 2012

34

Formal security analysis of near field communication using model checking

Alexiou, Nikolaos, Basagiannis, Stylianos, Petridou, Sophia

Journal:

Computers & Security

Année:

2016

Langue:

english

Fichier:

PDF, 893 KB

english, 2016

35

IMPACT OF TELMISARTAN TREATMENT ON POSTPRANDIALL FIBRINOLYSIS IN ESSENTIAL HYPERTENSION

Solomou, S., Anyfantis, I., Basagiannis, C., Tsalta, D., Papargyriou, I., Papadogiannis, D.

Journal:

Journal of Hypertension

Année:

2011

Langue:

english

Fichier:

PDF, 81 KB

english, 2011

36

QUALITY OF LIFE AND HYPERTENSION IN THE ELDERLY

Maridaki, C., Basagiannis, C., Anyfantis, I, Papargyriou, I., Papadogiannis, D.

Journal:

Journal of Hypertension

Année:

2011

Langue:

english

Fichier:

PDF, 79 KB

english, 2011

37

Constitutive Endocytosis of VEGFR2 Protects the Receptor Against Shedding.

Basagiannis, Dimitris, Christoforidis, Savvas

Journal:

Journal of Biological Chemistry

Année:

2016

Langue:

english

Fichier:

PDF, 4.00 MB

english, 2016

38

VEGF induces signalling and angiogenesis by directing VEGFR2 internalisation via macropinocytosis.

Basagiannis, Dimitris, Zografou, Sofia, Murphy, Carol, Fotsis, Theodore, Morbidelli, Lucia, Ziche, Marina, Bleck, Christopher, Mercer, Jason, Christoforidis, Savvas

Journal:

Journal of Cell Science

Année:

2016

Langue:

english

Fichier:

PDF, 2.19 MB

english, 2016

39

Dynasore impairs VEGFR2 signalling in an endocytosis-independent manner

Basagiannis, Dimitris, Zografou, Sofia, Galanopoulou, Katerina, Christoforidis, Savvas

Journal:

Scientific Reports

Année:

2017

Langue:

english

Fichier:

PDF, 1.69 MB

english, 2017

40

[ACM Press the 12th Central and Eastern European Software Engineering Conference in Russia - Moscow, Russian Federation (2016.10.28-2016.10.29)] Proceedings of the 12th Central and Eastern European Software Engineering Conference in Russia on - CEE-SECR '16 - SysML as a Common Integration Platform for Co-Simulations

Sadovykh, Andrey, Bagnato, Alessandra, Quadri, Imran, Mady, Alie El-Din, Couto, Luis Diogo, Basagiannis, Stylianos, Hasanagic, Miran

Année:

2016

Langue:

english

Fichier:

PDF, 245 KB

english, 2016

41

Intramuscular granular cell tumor of the gluteal region

Deskoulidi, Parthena, Koufopoulos, Nektarios, Diamantopoulos, Pantelis, Basagiannis, Efthymios, Maltzaris, Nikolaos, Nikolaidou, Thaleia, Kydonakis, Michael, Kotrotsiou, Maria, Benetatos, Konstantinos

Journal:

Journal of Surgical Case Reports

Année:

2018

Langue:

english

Fichier:

PDF, 485 KB

english, 2018

42

Formal Methods for Energy-Efficient EPONs

Petridou, Sophia, Basagiannis, Stylianos, Mamatas, Lefteris

Journal:

IEEE Transactions on Green Communications and Networking

Année:

2017

Langue:

english

Fichier:

PDF, 4.09 MB

english, 2017

43

Whipple Disease

St. Basagiannis, Christos, Panagoulias, George S., Tentolouris, Nicholas, Basoukeas, Stavros, Sambaziotis, Dimitrios, Ladas, Spiros D.

Journal:

Southern Medical Journal

Année:

2010

Langue:

english

Fichier:

PDF, 276 KB

english, 2010

44

[IEEE ICC 2017 - 2017 IEEE International Conference on Communications - Paris, France (2017.5.21-2017.5.25)] 2017 IEEE International Conference on Communications (ICC) - Energy-efficiency analysis under QoS constraints using formal methods: A study on EPONs

Petridou, Sophia, Basagiannis, Stylianos, Mamatas, Lefteris

Année:

2017

Langue:

english

Fichier:

PDF, 368 KB

english, 2017

45

A case of polymyositis associated with papillary thyroid cancer: a case report

Kalliabakos, Dimitrios, Pappas, Apostolos, Lagoudianakis, Emmanuel, Papadima, Artemisia, Chrysikos, John, Basagiannis, Christos, Tsakoumagou, Maria, Skanelli, Yasemi, Manouras, Andreas

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 528 KB

english, 2008

46

Smart Grid Security || Implementation Experiences from Smart Grid Security Applications and Outlook on Future Research

Basagiannis, Stylianos

Année:

2015

Langue:

english

Fichier:

PDF, 2.46 MB

english, 2015

47

Diselenolane-Mediated Cellular Uptake: Efficient Cytosolic Delivery of Probes, Peptides, Proteins, Artificial Metalloenzymes and Protein-Coated Quantum Dots

Bartolami, Eline, Basagiannis, Dimitris, Zong, Lili, Martinent, Rémi, Okamoto, Yasunori, Laurent, Quentin, Ward, Thomas R., Gonzalez-Gaitan, Marcos, Sakai, Naomi, Matile, Stefan

Journal:

Chemistry - A European Journal

Année:

2019

Langue:

english

Fichier:

PDF, 993 KB

english, 2019

48

Hypoxia-induced changes in SUMO conjugation affect transcriptional regulation under low oxygen.

Chachami, Georgia, Stankovic-Valentin, Nicolas, Karagiota, Angeliki, Basagianni, Angeliki, Plessmann, Uwe, Urlaub, Henning, Melchior, Frauke, Simos, George

Journal:

Molecular & Cellular Proteomics

Année:

2019

Langue:

english

Fichier:

PDF, 4.28 MB

english, 2019

49

Learning Moore machines from input–output traces

Giantamidis, Georgios, Tripakis, Stavros, Basagiannis, Stylianos

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2019

Langue:

english

Fichier:

PDF, 2.41 MB

english, 2019

50

Erratum for âModified Generalized Maxwell Model for Hysteresis Behavior of Elastomeric Dampersâ by Christos A. Basagiannis and Martin S. Williams

Basagiannis, Christos A., Williams, Martin S.

Journal:

Journal of Engineering Mechanics

Année:

2020

Fichier:

PDF, 93 KB

2020